Architecture modeling of distributed and concurrent software systems
نویسنده
چکیده
In order to define a conceptual frame and a suitable vocabulary for this working area, we present the architecture description language MoDeL (Modular Design Language). By selecting and combining modelling concepts which proved to be helpful for the design of software systems, this approach is integrative and pragmatic: It unites different realization paradigms (structured, object-oriented), different levels of granularity (overall system, subsystem, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages.
منابع مشابه
A Reusable Framework for Systems of Asynchronous Concurrent Processes
Networked information technology systems can be found in many physical, natural or social processes, which include processes implemented by an information system. Software confederations and global software systems connect many concurrent processes into asynchronous network models, e.g. via service-oriented architecture. Unfortunately, the complexity of distributed systems can be a hindrance to...
متن کاملContract-based Coordination of Distributed Object Systems
For distributed object or component systems based on CORBA or DCOM, a suitable software architecture and a strong separation of modules is necessary. Our object coordination net approach (OCoN) allows mixed event and state based true concurrent modeling. It describes contracts, object scheduling, resource handling and the abstract data and control flow of services. A seam-data and control flow ...
متن کاملFuzzy Control of Fuel Cell Distributed Generation Systems
The operation of Fuel Cell Distributed Generation (FCDG) systems in distribution systems is introduced by modeling, controller design, and simulation study of a Solid Oxide Fuel Cell (SOFC) distributed generation (DG) system. The physical model of the fuel cell stack and dynamic models of power conditioning units are described. Then, suitable control architecture based on fuzzy logic contro...
متن کاملDisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concurrent flow of execution are orthogonal. A sound semantic model that is powerful enough to handle distributed concurrent components but also realistic enough to provide a foundation for component technologies actually in...
متن کاملValidating Timed Models of Deployment Components with Parametric Concurrency
Many software systems today are designed without assuming a fixed underlying architecture, and may be adapted for sequential, multicore, or distributed deployment. Examples of such systems are found in, e.g., software product lines, service-oriented computing, information systems, embedded systems, operating systems, and telephony. Models of such systems need to capture and range over relevant ...
متن کامل